(0 12 3)(1 13 10)(2 8 4 9 5)(6 11 7)
ALLOWS (11/8)-SEQUENCE
1: (0 2 3)
(0)(1 13 10)(2 12 3 8 4 9 5)(6 11 7)
2: (3 8 12)
(0)(1 13 10)(2 12 4 9 5)(3)(6 11 7)(8)
3: (2 9 5)
(0)(1 13 10)(2)(3)(4 9 12)(5)(6 11 7)(8)
4: (1 13 10)
(0)(1)(2)(3)(4 9 12)(5)(6 11 7)(8)(10)(13)